Introduction to lean